Iscalc: An Interactive Symbolic Computation Framework (System Description)
نویسندگان
چکیده
Abstract The need to verify symbolic computation arises in diverse application areas. In this paper, based on earlier work verifying of definite integrals , we present a tool for performing variety computations interactively, taking middle ground terms easy use and rigor between computer algebra systems interactive theorem provers. supports user-level definitions dependency among computations, allowing construction reuse custom theories. Side conditions are checked best-effort basis. is applied highly non-trivial from the textbook Inside Interesting Integrals.
منابع مشابه
Symbolic computation of the Duggal transform
Following the results of cite{Med}, regarding the Aluthge transform of polynomial matrices, the symbolic computation of the Duggal transform of a polynomial matrix $A$ is developed in this paper, using the polar decomposition and the singular value decomposition of $A$. Thereat, the polynomial singular value decomposition method is utilized, which is an iterative algorithm with numerical charac...
متن کاملAn Interactive Programming System for Media Computation
As digital video is manipulated by increasingly powerful computers, many new applications are becoming viable. This thesis investigates the programming language aspects of controlling such video applications. It presents the design, implementation, and use of PAVES, a direct manipulation system that combines aspects of visualization and multimedia systems to form an interactive video programmin...
متن کاملFINDX: Framework for Interactive Data Exploration An Object-Oriented Symbolic Visualization Framework for Exploring Multidimensional Data
Mayer & Cukier (2013) state that “Data can reveal secrets to those with the humility, the willingness, and the tools to listen”. To facilitate the ‘listening process’, this research proposes a desktop Virtual Reality tool to interactively explore data online. In order to explore data and extract information, it is imperative to view the data objectively and listen carefully to the interactions ...
متن کاملKnowledge Representation Interactive System for Symbolic Mathematics
We present schematic architecture for Internet based Knowledge Representation Interactive System which deals with mathematics story problem solving. The aim of this work is to develop an interactive system to accept mathematics story problem, process and give natural language answer. Our system uses propositional semantic network approach in natural language processing system with constraint so...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2023
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-031-38499-8_33